Books by author Marko Van Eekelen

Showing 1 – 4 out of 4 results

1. 

   Interactive Theorem Proving

   Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.70 €

   Buy
2. 

   Foundational and Practical Aspects of Resource Analysis

   Marko van Eekelen, Olha Shkaravska | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Low in stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   55.90 €

   Buy
3. 

   Foundational and Practical Aspects of Resource Analysis

   Marko van Eekelen, Ugo Dal Lago | Springer International Publishing AG, 2016

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   55.70 €

   Buy
4. 

   Foundational and Practical Aspects of Resource Analysis

   Ricardo Pe, Marko van Eekelen, Olha Shkaravska | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   47.43 €

   Sale 7 %

   You save 3.96 €

   Buy

You can choose among many payment option. Find out more